[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 154 89 120 312 0 0 98

N.S.

1 1.00 1.29 0.75 1.01 2.62 0.00 0.00 0.82

time (sec)

N/A 0.072 1.422 0.180 0.508 0.448 0.000 0.000 0.321

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 140 73 101 271 0 0 84

N.S.

1 1.00 1.39 0.72 1.00 2.68 0.00 0.00 0.83

time (sec)

N/A 0.043 1.054 0.157 0.482 0.440 0.000 0.000 4.076

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 148 329 126 406 0 0 98

N.S.

1 1.00 1.42 3.16 1.21 3.90 0.00 0.00 0.94

time (sec)

N/A 0.193 1.314 0.971 0.523 0.526 0.000 0.000 0.232

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 170 608 133 511 0 0 114

N.S.

1 1.00 1.49 5.33 1.17 4.48 0.00 0.00 1.00

time (sec)

N/A 0.194 1.538 0.822 0.498 0.501 0.000 0.000 4.110

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 182 677 181 558 0 0 139

N.S.

1 1.00 1.21 4.48 1.20 3.70 0.00 0.00 0.92

time (sec)

N/A 0.287 2.135 0.829 0.493 0.446 0.000 0.000 4.004

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 200 926 216 659 0 0 171

N.S.

1 1.00 1.05 4.87 1.14 3.47 0.00 0.00 0.90

time (sec)

N/A 0.386 2.650 0.855 0.500 0.441 0.000 0.000 0.220

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 166 92 120 321 0 0 107

N.S.

1 1.00 1.28 0.71 0.92 2.47 0.00 0.00 0.82

time (sec)

N/A 0.058 1.854 0.166 0.499 0.430 0.000 0.000 4.142

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 123 131 156 389 0 0 144

N.S.

1 1.00 0.61 0.65 0.78 1.94 0.00 0.00 0.72

time (sec)

N/A 0.316 1.798 0.192 0.493 0.441 0.000 0.000 0.450

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 122 113 138 343 0 0 129

N.S.

1 1.00 0.71 0.66 0.80 1.99 0.00 0.00 0.75

time (sec)

N/A 0.233 1.899 0.201 0.485 0.451 0.000 0.000 4.182

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 129 93 120 289 0 0 99

N.S.

1 1.00 1.02 0.74 0.95 2.29 0.00 0.00 0.79

time (sec)

N/A 0.134 1.130 0.189 0.504 0.472 0.000 0.000 4.167

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 113 73 101 238 0 0 83

N.S.

1 1.00 1.15 0.74 1.03 2.43 0.00 0.00 0.85

time (sec)

N/A 0.067 0.851 0.173 0.841 0.449 0.000 0.000 0.261

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 83 53 83 235 0 0 54

N.S.

1 1.00 1.24 0.79 1.24 3.51 0.00 0.00 0.81

time (sec)

N/A 0.042 0.274 0.198 0.526 0.455 0.000 0.000 4.087

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 84 59 81 238 0 0 60

N.S.

1 1.00 1.18 0.83 1.14 3.35 0.00 0.00 0.85

time (sec)

N/A 0.028 0.245 0.158 0.504 0.441 0.000 0.000 0.227

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 133 668 122 459 0 0 80

N.S.

1 1.00 1.34 6.75 1.23 4.64 0.00 0.00 0.81

time (sec)

N/A 0.186 1.141 5.846 0.502 0.451 0.000 0.000 0.193

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 153 1368 160 546 0 0 134

N.S.

1 1.00 1.09 9.70 1.13 3.87 0.00 0.00 0.95

time (sec)

N/A 0.285 2.327 1.075 0.526 0.468 0.000 0.000 4.087

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 170 1370 203 617 0 0 155

N.S.

1 1.00 0.94 7.61 1.13 3.43 0.00 0.00 0.86

time (sec)

N/A 0.375 2.768 1.124 0.494 0.456 0.000 0.000 4.116

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 149 131 157 388 0 0 138

N.S.

1 1.00 0.73 0.64 0.77 1.89 0.00 0.00 0.67

time (sec)

N/A 0.325 1.866 0.178 0.509 0.480 0.000 0.000 4.204

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 165 113 139 336 0 0 129

N.S.

1 1.00 0.95 0.65 0.80 1.93 0.00 0.00 0.74

time (sec)

N/A 0.237 1.349 0.174 0.497 0.434 0.000 0.000 0.276

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 123 91 121 273 0 0 93

N.S.

1 1.00 0.92 0.68 0.91 2.05 0.00 0.00 0.70

time (sec)

N/A 0.141 1.268 0.187 0.506 0.407 0.000 0.000 0.202

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 124 75 103 272 0 0 84

N.S.

1 1.00 1.19 0.72 0.99 2.62 0.00 0.00 0.81

time (sec)

N/A 0.091 1.094 0.182 0.507 0.392 0.000 0.000 4.046

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 124 72 101 271 0 0 72

N.S.

1 1.00 1.27 0.73 1.03 2.77 0.00 0.00 0.73

time (sec)

N/A 0.058 0.644 0.174 0.501 0.375 0.000 0.000 3.985

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 124 78 94 272 0 0 83

N.S.

1 1.00 1.19 0.75 0.90 2.62 0.00 0.00 0.80

time (sec)

N/A 0.042 0.611 0.149 0.505 0.372 0.000 0.000 3.994

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 196 697 139 500 0 0 109

N.S.

1 1.00 1.48 5.28 1.05 3.79 0.00 0.00 0.83

time (sec)

N/A 0.260 2.052 1.238 0.526 0.377 0.000 0.000 4.052

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 214 1399 184 601 0 0 178

N.S.

1 1.00 1.18 7.73 1.02 3.32 0.00 0.00 0.98

time (sec)

N/A 0.378 2.007 0.913 0.499 0.383 0.000 0.000 4.020

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 214 1397 221 678 0 0 186

N.S.

1 1.00 0.97 6.35 1.00 3.08 0.00 0.00 0.85

time (sec)

N/A 0.481 4.330 1.014 0.552 0.388 0.000 0.000 3.940

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 149 131 157 342 0 0 140

N.S.

1 1.00 0.73 0.64 0.77 1.67 0.00 0.00 0.68

time (sec)

N/A 0.336 2.012 0.218 0.586 0.383 0.000 0.000 3.915

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 149 111 139 283 0 0 129

N.S.

1 1.00 0.85 0.63 0.79 1.61 0.00 0.00 0.73

time (sec)

N/A 0.245 1.615 0.172 0.532 0.378 0.000 0.000 0.251

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 135 93 121 283 0 0 93

N.S.

1 1.00 1.02 0.70 0.91 2.13 0.00 0.00 0.70

time (sec)

N/A 0.157 1.204 0.191 0.510 0.368 0.000 0.000 3.864

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 135 94 119 283 0 0 88

N.S.

1 1.00 1.02 0.71 0.89 2.13 0.00 0.00 0.66

time (sec)

N/A 0.110 1.106 0.184 0.522 0.370 0.000 0.000 0.197

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 135 91 116 284 0 0 91

N.S.

1 1.00 1.08 0.73 0.93 2.27 0.00 0.00 0.73

time (sec)

N/A 0.073 0.778 0.180 0.506 0.376 0.000 0.000 0.203

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 137 97 119 283 0 0 106

N.S.

1 1.00 1.03 0.73 0.89 2.13 0.00 0.00 0.80

time (sec)

N/A 0.057 0.745 0.144 0.549 0.365 0.000 0.000 3.806

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 188 724 161 511 0 0 132

N.S.

1 1.00 1.18 4.55 1.01 3.21 0.00 0.00 0.83

time (sec)

N/A 0.349 2.068 0.934 0.503 0.374 0.000 0.000 0.248

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 263 1426 202 612 0 0 201

N.S.

1 1.00 1.23 6.66 0.94 2.86 0.00 0.00 0.94

time (sec)

N/A 0.482 3.603 0.906 0.527 0.383 0.000 0.000 4.057

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 150 116 137 294 0 0 129

N.S.

1 1.00 0.93 0.72 0.85 1.81 0.00 0.00 0.80

time (sec)

N/A 0.077 2.263 0.176 0.510 0.369 0.000 0.000 3.975

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 125 321 218 391 0 154 114

N.S.

1 1.00 1.17 3.00 2.04 3.65 0.00 1.44 1.07

time (sec)

N/A 0.108 2.400 0.242 0.514 0.394 0.000 0.649 4.933

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 148 305 201 326 0 124 65

N.S.

1 1.00 1.80 3.72 2.45 3.98 0.00 1.51 0.79

time (sec)

N/A 0.082 0.906 0.102 0.551 0.400 0.000 0.523 4.602

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 85 290 183 256 0 89 128

N.S.

1 1.00 1.39 4.75 3.00 4.20 0.00 1.46 2.10

time (sec)

N/A 0.051 0.714 0.101 0.510 0.389 0.000 0.514 4.258

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 87 273 160 222 0 67 30

N.S.

1 1.00 2.18 6.82 4.00 5.55 0.00 1.68 0.75

time (sec)

N/A 0.029 0.631 0.153 0.529 0.358 0.000 0.531 4.290

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 138 294 179 355 0 89 50

N.S.

1 1.00 2.23 4.74 2.89 5.73 0.00 1.44 0.81

time (sec)

N/A 0.058 1.078 0.115 0.519 0.386 0.000 0.581 4.363

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 140 310 200 410 0 109 70

N.S.

1 1.00 1.61 3.56 2.30 4.71 0.00 1.25 0.80

time (sec)

N/A 0.088 1.200 0.096 0.512 0.374 0.000 0.712 4.937

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 105 325 220 478 0 130 87

N.S.

1 1.00 0.95 2.95 2.00 4.35 0.00 1.18 0.79

time (sec)

N/A 0.121 4.144 0.097 0.507 0.403 0.000 0.928 5.285

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 90 322 218 360 0 154 143

N.S.

1 1.00 0.84 3.01 2.04 3.36 0.00 1.44 1.34

time (sec)

N/A 0.105 0.532 0.110 0.524 0.383 0.000 0.579 4.577

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 78 306 201 300 0 124 65

N.S.

1 1.00 0.95 3.73 2.45 3.66 0.00 1.51 0.79

time (sec)

N/A 0.076 0.240 0.112 0.521 0.374 0.000 0.531 4.258

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 64 291 183 233 0 89 126

N.S.

1 1.00 1.05 4.77 3.00 3.82 0.00 1.46 2.07

time (sec)

N/A 0.050 0.066 0.110 0.517 0.378 0.000 0.500 3.944

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 50 274 160 175 0 67 30

N.S.

1 1.00 1.25 6.85 4.00 4.38 0.00 1.68 0.75

time (sec)

N/A 0.027 0.045 0.139 0.512 0.366 0.000 0.545 4.217

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 39 295 179 328 0 89 50

N.S.

1 1.00 0.63 4.76 2.89 5.29 0.00 1.44 0.81

time (sec)

N/A 0.053 0.116 0.117 0.524 0.376 0.000 0.627 4.301

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 41 311 201 394 0 109 70

N.S.

1 1.00 0.47 3.57 2.31 4.53 0.00 1.25 0.80

time (sec)

N/A 0.085 0.118 0.100 0.491 0.372 0.000 0.620 4.618

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 41 326 220 459 0 130 87

N.S.

1 1.00 0.37 2.96 2.00 4.17 0.00 1.18 0.79

time (sec)

N/A 0.112 0.173 0.098 0.509 0.396 0.000 0.662 4.906

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 145 342 242 460 0 192 115

N.S.

1 1.00 1.04 2.44 1.73 3.29 0.00 1.37 0.82

time (sec)

N/A 0.146 2.577 0.115 0.513 0.402 0.000 0.915 4.640

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 127 326 223 392 0 163 97

N.S.

1 1.00 1.12 2.88 1.97 3.47 0.00 1.44 0.86

time (sec)

N/A 0.122 3.042 0.111 0.511 0.379 0.000 0.768 4.542

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 102 311 204 322 0 129 74

N.S.

1 1.00 1.13 3.46 2.27 3.58 0.00 1.43 0.82

time (sec)

N/A 0.088 1.632 0.117 0.510 0.396 0.000 0.591 4.281

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 157 295 184 278 0 92 59

N.S.

1 1.00 2.38 4.47 2.79 4.21 0.00 1.39 0.89

time (sec)

N/A 0.066 1.509 0.132 0.517 0.379 0.000 0.600 4.153

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C C C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 147 291 183 365 0 93 55

N.S.

1 1.00 2.23 4.41 2.77 5.53 0.00 1.41 0.83

time (sec)

N/A 0.074 1.057 0.099 0.517 0.379 0.000 0.678 4.293

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 87 312 206 423 0 117 80

N.S.

1 1.00 0.94 3.35 2.22 4.55 0.00 1.26 0.86

time (sec)

N/A 0.108 1.419 0.099 0.515 0.381 0.000 0.661 4.375

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 381 327 228 492 0 139 95

N.S.

1 1.00 3.23 2.77 1.93 4.17 0.00 1.18 0.81

time (sec)

N/A 0.140 7.023 0.099 0.517 0.389 0.000 0.787 4.662

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 150 358 267 517 0 223 137

N.S.

1 1.00 0.84 2.00 1.49 2.89 0.00 1.25 0.77

time (sec)

N/A 0.215 3.024 0.141 0.531 0.417 0.000 0.871 4.975

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 138 342 248 447 0 194 119

N.S.

1 1.00 0.91 2.25 1.63 2.94 0.00 1.28 0.78

time (sec)

N/A 0.176 2.473 0.161 0.565 0.383 0.000 0.774 4.772

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 122 327 229 376 0 161 96

N.S.

1 1.00 0.95 2.53 1.78 2.91 0.00 1.25 0.74

time (sec)

N/A 0.143 3.317 0.155 0.576 0.380 0.000 0.664 4.441

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 154 311 208 340 0 130 81

N.S.

1 1.00 1.44 2.91 1.94 3.18 0.00 1.21 0.76

time (sec)

N/A 0.118 2.585 0.123 0.556 0.374 0.000 0.623 4.378

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 156 309 202 357 0 115 77

N.S.

1 1.00 1.95 3.86 2.52 4.46 0.00 1.44 0.96

time (sec)

N/A 0.073 1.688 0.109 0.548 0.362 0.000 0.716 4.329

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 87 305 206 422 0 117 80

N.S.

1 1.00 0.80 2.80 1.89 3.87 0.00 1.07 0.73

time (sec)

N/A 0.138 2.583 0.113 0.528 0.378 0.000 0.689 4.442

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 377 325 228 492 0 139 95

N.S.

1 1.00 2.86 2.46 1.73 3.73 0.00 1.05 0.72

time (sec)

N/A 0.175 7.164 0.115 0.565 0.377 0.000 0.853 4.658

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 416 341 245 549 0 156 119

N.S.

1 1.00 2.62 2.14 1.54 3.45 0.00 0.98 0.75

time (sec)

N/A 0.211 7.697 0.115 0.543 0.411 0.000 0.911 5.007

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 275 126 0 646 0 242 180

N.S.

1 1.00 0.88 0.40 0.00 2.07 0.00 0.78 0.58

time (sec)

N/A 0.229 1.908 0.210 0.000 0.383 0.000 0.648 6.213

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 164 109 0 562 0 197 160

N.S.

1 1.00 0.57 0.38 0.00 1.96 0.00 0.69 0.56

time (sec)

N/A 0.187 1.977 0.160 0.000 0.395 0.000 0.600 6.164

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 150 93 0 550 0 177 137

N.S.

1 1.00 0.58 0.36 0.00 2.12 0.00 0.68 0.53

time (sec)

N/A 0.159 1.031 0.162 0.000 0.379 0.000 0.515 5.885

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 129 72 0 304 0 110 71

N.S.

1 1.00 1.59 0.89 0.00 3.75 0.00 1.36 0.88

time (sec)

N/A 0.073 1.145 0.176 0.000 0.390 0.000 0.568 4.230

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 147 102 0 541 0 173 128

N.S.

1 1.00 0.56 0.39 0.00 2.06 0.00 0.66 0.49

time (sec)

N/A 0.154 0.874 0.170 0.000 0.403 0.000 0.597 5.923

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 155 116 0 677 0 202 147

N.S.

1 1.00 0.54 0.40 0.00 2.36 0.00 0.70 0.51

time (sec)

N/A 0.209 1.370 0.140 0.000 0.378 0.000 0.590 6.058

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 273 133 0 776 0 220 171

N.S.

1 1.00 0.87 0.42 0.00 2.47 0.00 0.70 0.54

time (sec)

N/A 0.260 2.517 0.153 0.000 0.396 0.000 0.644 6.661

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

353 353 346 142 0 705 0 269 225

N.S.

1 1.00 0.98 0.40 0.00 2.00 0.00 0.76 0.64

time (sec)

N/A 0.344 2.463 0.180 0.000 0.409 0.000 0.655 5.637

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 233 126 0 600 0 226 201

N.S.

1 1.00 0.71 0.39 0.00 1.84 0.00 0.69 0.62

time (sec)

N/A 0.313 1.456 0.168 0.000 0.391 0.000 0.669 5.565

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 231 108 0 604 0 206 177

N.S.

1 1.00 0.77 0.36 0.00 2.01 0.00 0.68 0.59

time (sec)

N/A 0.277 1.073 0.171 0.000 0.378 0.000 0.748 5.668

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 231 118 0 593 0 203 179

N.S.

1 1.00 0.78 0.40 0.00 2.00 0.00 0.68 0.60

time (sec)

N/A 0.276 1.085 0.171 0.000 0.379 0.000 0.667 5.550

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 227 116 0 563 0 205 147

N.S.

1 1.00 0.76 0.39 0.00 1.88 0.00 0.69 0.49

time (sec)

N/A 0.250 0.948 0.191 0.000 0.388 0.000 0.612 5.204

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 228 118 0 584 0 198 168

N.S.

1 1.00 0.76 0.39 0.00 1.94 0.00 0.66 0.56

time (sec)

N/A 0.266 1.050 0.182 0.000 0.387 0.000 0.615 5.478

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 231 131 0 730 0 221 185

N.S.

1 1.00 0.71 0.40 0.00 2.24 0.00 0.68 0.57

time (sec)

N/A 0.342 1.159 0.164 0.000 0.398 0.000 0.666 5.963

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

353 353 346 149 0 837 0 246 209

N.S.

1 1.00 0.98 0.42 0.00 2.37 0.00 0.70 0.59

time (sec)

N/A 0.378 2.365 0.152 0.000 0.404 0.000 0.694 6.280

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

370 370 236 141 0 620 0 251 240

N.S.

1 1.00 0.64 0.38 0.00 1.68 0.00 0.68 0.65

time (sec)

N/A 0.431 3.693 0.192 0.000 0.398 0.000 0.931 5.485

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 234 125 0 614 0 231 217

N.S.

1 1.00 0.68 0.36 0.00 1.79 0.00 0.67 0.63

time (sec)

N/A 0.387 1.559 0.180 0.000 0.402 0.000 0.765 5.778

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 232 116 0 615 0 216 158

N.S.

1 1.00 0.71 0.35 0.00 1.87 0.00 0.66 0.48

time (sec)

N/A 0.395 1.146 0.187 0.000 0.380 0.000 0.806 4.162

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 158 103 0 359 0 160 155

N.S.

1 1.00 1.01 0.66 0.00 2.29 0.00 1.02 0.99

time (sec)

N/A 0.240 2.385 0.199 0.000 0.383 0.000 0.727 4.217

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 225 120 0 575 0 207 157

N.S.

1 1.00 0.77 0.41 0.00 1.97 0.00 0.71 0.54

time (sec)

N/A 0.249 2.626 0.209 0.000 0.378 0.000 0.713 4.180

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 234 133 0 596 0 227 206

N.S.

1 1.00 0.68 0.39 0.00 1.74 0.00 0.66 0.60

time (sec)

N/A 0.382 1.312 0.246 0.000 0.389 0.000 0.733 5.683

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

368 368 234 147 0 742 0 252 227

N.S.

1 1.00 0.64 0.40 0.00 2.02 0.00 0.68 0.62

time (sec)

N/A 0.451 2.230 0.201 0.000 0.388 0.000 0.822 6.119

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 267 472 0 559 0 0 -1

N.S.

1 1.00 1.52 2.68 0.00 3.18 0.00 0.00 -0.01

time (sec)

N/A 0.355 4.113 0.349 0.000 0.365 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 249 229 0 479 0 0 -1

N.S.

1 1.00 1.84 1.70 0.00 3.55 0.00 0.00 -0.01

time (sec)

N/A 0.228 3.959 0.190 0.000 0.378 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 229 349 0 413 0 0 278

N.S.

1 1.00 2.20 3.36 0.00 3.97 0.00 0.00 2.67

time (sec)

N/A 0.175 1.227 0.192 0.000 0.386 0.000 0.000 7.314

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B B B F F(-2) B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

49 49 0 121 379 206 0 0 89

N.S.

1 1.00 0.00 2.47 7.73 4.20 0.00 0.00 1.82

time (sec)

N/A 0.042 1.123 0.205 0.628 0.364 0.000 0.000 5.121

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B B B F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 157 549 329 0 0 -1

N.S.

1 1.00 0.00 1.91 6.70 4.01 0.00 0.00 -0.01

time (sec)

N/A 0.096 2.439 0.196 0.628 0.369 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B B B F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

120 120 0 197 974 355 0 0 -1

N.S.

1 1.00 0.00 1.64 8.12 2.96 0.00 0.00 -0.01

time (sec)

N/A 0.168 2.701 0.188 0.672 0.372 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B B B F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

154 154 0 359 1151 424 0 0 -1

N.S.

1 1.00 0.00 2.33 7.47 2.75 0.00 0.00 -0.01

time (sec)

N/A 0.260 3.667 0.187 0.735 0.387 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 213 449 0 673 0 0 -1

N.S.

1 1.00 0.84 1.77 0.00 2.65 0.00 0.00 -0.00

time (sec)

N/A 0.526 3.097 0.217 0.000 0.375 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 234 405 0 600 0 0 -1

N.S.

1 1.00 1.08 1.87 0.00 2.76 0.00 0.00 -0.00

time (sec)

N/A 0.440 3.344 0.171 0.000 0.382 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 203 363 0 525 0 0 -1

N.S.

1 1.00 1.15 2.06 0.00 2.98 0.00 0.00 -0.01

time (sec)

N/A 0.345 1.827 0.174 0.000 0.383 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 255 326 0 451 0 0 -1

N.S.

1 1.00 2.45 3.13 0.00 4.34 0.00 0.00 -0.01

time (sec)

N/A 0.172 2.037 0.184 0.000 0.382 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 160 320 555 353 0 0 -1

N.S.

1 1.00 1.93 3.86 6.69 4.25 0.00 0.00 -0.01

time (sec)

N/A 0.088 1.746 0.188 0.629 0.364 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 160 370 1008 395 0 0 -1

N.S.

1 1.00 1.34 3.11 8.47 3.32 0.00 0.00 -0.01

time (sec)

N/A 0.135 1.869 0.172 0.730 0.365 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 166 412 1198 450 0 0 -1

N.S.

1 1.00 0.84 2.08 6.05 2.27 0.00 0.00 -0.01

time (sec)

N/A 0.361 2.788 0.174 0.777 0.388 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 224 457 2883 491 0 0 -1

N.S.

1 1.00 0.95 1.94 12.27 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.450 3.261 0.189 0.989 0.377 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]